compute gcd of two numbers in python